Automated reasoning about machines

Machines Reasoning About Machines: 2015

Automated Reasoning about A

Logical Reasoning about Programming of Mathematical Machines

We always start the solving of a problem with the formulation of its theoretical foundations. If we would like to use mathematical machines (computers) in problem solving, we need to formalize its theoretical foundations as logical reasoning because the programs should really prove the correctness of their results. In our paper we present central ideas of our approach regarding programming as l...

Reasoning about Properties with Abstract State Machines

Along the years, Abstract State Machines (ASMs) have been successfully applied for modeling critical and complex systems in a wide range of domains, and for analyzing their computationally interesting properties. However, unlike other well-known and established formalisms, such as Petri nets, they lack of a framework aimed at better supporting their applicability to the formal verification of s...

Automated commonsense reasoning about human memory

Metacognitive reasoning in computational systems will be enabled by the development of formal theories that have broad coverage over mental states and processes as well as inferential competency. In this paper we evaluate the inferential competency of an existing formal theory of commonsense human memory by attempting to use it to validate the appropriateness of a commonsense memory strategy. W...